| 1 | Timothy Alan Budd and Ajei Sarat Gopal
Program Testing by Specification Mutation
Computer Languages, 10(1), 1985. |
|
| | Abstract: Both theoretical and empirical arguments suggest that specifications and implementations are equally important sources of information for generating test cases. Nevertheless, the majority of test generation procedures described in the literature deal only with the program source, ignoring specifications. In this paper we outline a procedure for measuring test case effectiveness using specifications given in predicate calculus form. This method is similar to the mutation analysis method of testing programs. |
| | @ARTICLE{BuddG85,
author = {Timothy Alan Budd and Ajei Sarat Gopal},
title = {Program Testing by Specification Mutation},
journal = {Computer Languages},
year = {1985},
month = {},
volume = {10},
number = {1},
pages = {63-73}
} |
| 2 | Ajei Sarat Gopal and Timothy Alan Budd
Program Testing by Specification Mutation
University of ArizonaTR 83-17, Tucson, Arizona, 1983. |
|
| | Abstract: Available soon... |
| | @TECHREPORT{GopalB83,
author = {Ajei Sarat Gopal and Timothy Alan Budd},
title = {Program Testing by Specification Mutation},
institution = {University of Arizona},
year = {1983},
type = {techreport},
number = {TR 83-17},
address = {Tucson, Arizona},
month = {},
} |
